54.22/56.49	unsat
