6.68/8.26	unsat
