56.42/56.67	unsat
