58.79/59.47	unsat
