27.98/30.07	unsat
