41.02/41.22	unsat
