59.69/60.47	unsat
