27.21/27.43	unsat
