4.94/8.22	unsat
