4.67/5.10	unsat
