4.88/6.22	unsat
