27.22/29.99	unsat
