29.11/30.02	unsat
