28.70/29.95	unsat
