4.70/7.04	unsat
