54.66/57.10	unsat
