29.63/30.04	unsat
