4.67/8.10	unsat
