41.04/43.59	unsat
