55.79/56.57	unsat
