27.46/30.41	unsat
