29.64/30.80	unsat
