41.10/41.71	unsat
