5.68/8.29	unsat
