27.11/32.49	unsat
