41.35/44.27	unsat
