27.40/30.07	unsat
