41.34/43.87	unsat
