28.10/29.34	unsat
