4.69/7.20	unsat
