27.32/29.07	unsat
