4.97/5.22	unsat
