54.92/57.10	unsat
