55.63/56.04	unsat
