41.42/43.58	unsat
