56.42/60.42	unsat
