57.92/58.04	unsat
