5.68/8.22	unsat
