56.87/59.93	unsat
