27.34/27.49	unsat
