6.46/6.96	unsat
