41.41/44.05	unsat
