27.27/27.37	unsat
