29.57/30.30	unsat
