4.97/6.22	unsat
