5.58/5.88	unsat
