5.07/6.96	unsat
