4.97/5.02	unsat
