57.77/59.46	unsat
