4.98/6.22	unsat
