41.75/45.85	unsat
