54.20/56.28	unsat
