57.24/59.94	unsat
