41.70/44.01	unsat
