57.93/59.15	unsat
