6.68/7.34	unsat
