5.98/6.96	unsat
