41.47/44.01	unsat
