54.20/56.71	unsat
