28.31/29.62	unsat
