29.05/30.26	unsat
