4.87/7.10	unsat
