29.25/30.86	unsat
