6.96/7.00	unsat
