28.11/29.86	unsat
