57.84/59.54	unsat
