27.93/29.07	unsat
