4.67/6.22	unsat
