41.75/41.86	unsat
