41.23/41.53	unsat
