4.97/7.10	unsat
