29.20/30.02	unsat
