27.50/29.13	unsat
