59.33/59.42	unsat
