41.66/41.79	unsat
