4.68/6.96	unsat
