39.12/41.53	unsat
