27.02/30.22	unsat
