27.71/32.00	unsat
