4.97/5.96	unsat
