27.83/29.21	unsat
