54.95/82.52	unsat
