3.97/5.88	unsat
