5.98/6.02	unsat
