4.96/6.02	unsat
