5.68/8.17	unsat
