6.14/6.96	unsat
