19.24/21.00	unsat
